منابع مشابه
Do Noetherian Modules Have Noetherian Basis Functions?
In Bishop-style constructive algebra it is known that if a module over a commutative ring has a Noetherian basis function, then it is Noetherian. Using countable choice we prove the reverse implication for countable and strongly discrete modules. The Hilbert basis theorem for this specific class of Noetherian modules, and polynomials in a single variable, follows with Tennenbaum’s celebrated ve...
متن کاملNoetherian Induction
Let (A,1) be a partially ordered set. The relation a 1 b can be read as “a precedes b”. For elements a and b in A, we write a ≺ b if and only if a 1 b and a 6= b holds. For notational convenience, we also write a o b if and only if a 1 b holds, and a  b if and only if a ≺ b holds. We call (A,1) a well-founded set if and only if every non-empty subset M of A contains at least one minimal elemen...
متن کاملNoetherian Spaces in Verification
Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimulated the search for infinite procedures à la Karp-Miller.
متن کاملSplitting Families and the Noetherian Type of Βω \ Ω
Extending some results of Malykhin, we prove several independence results about base properties of βω \ ω and its powers, especially the Noetherian type Nt(βω \ ω), the least κ for which βω \ ω has a base that is κ-like with respect to containment. For example, Nt(βω \ ω) is at least s, but can consistently be ω1, c, c+, or strictly between ω1 and c. Nt(βω \ ω) is also consistently less than th...
متن کاملNoetherian Modules
In a finite-dimensional vector space, every subspace is finite-dimensional and the dimension of a subspace is at most the dimension of the whole space. Unfortunately, the naive analogue of this for modules and submodules is wrong: (1) A submodule of a finitely generated module need not be finitely generated. (2) Even if a submodule of a finitely generated module is finitely generated, the minim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Israel Journal of Mathematics
سال: 2014
ISSN: 0021-2172,1565-8511
DOI: 10.1007/s11856-014-1101-4